7.68/10.25	unsat
