7.47/10.28	unsat
