7.87/10.25	unsat
