7.28/10.25	unsat
