9.57/10.25	unsat
