toysolver-0.0.2: samples/sat/empty.cnf

p cnf 0 0