4.32/6.02	unsat
