7.47/7.61	unsat
