7.47/10.09	unsat
