4.28/6.02	unsat
