5.07/6.02	unsat
