5.09/6.02	unsat
