7.29/10.25	unsat
