7.37/7.87	unsat
