7.49/10.52	unsat
