7.37/10.52	unsat
