5.99/6.02	unsat
