5.59/6.02	unsat
