7.47/7.51	unsat
