5.47/7.51	unsat
