make -j
./GSAT -i ../benchmarks/uf150/uf150-099.cnf