4.18/6.02	unsat
