7.37/7.72	unsat
