4.24/10.02	unsat
