#include <stdio.h>
#include <stdlib.h>
#include <string.h>

int main(int argc, char **argv) {

  FILE *f = fopen( argv[1], "r" );
  char line[ 200 ];
  double value = atof( argv[ 2 ] );
  while ( fgets( line, 200, f ) != NULL )
  {
    char *manufacturer = strtok( line, ";" );
    char *type = strtok( NULL, ";" );
    double length = atof( strtok( NULL, "\n" ) );
    if ( length >= value )
      printf( "%s %s\n", manufacturer, type );
  }
  fclose( f );
  return 0;
}