5.47/7.20	unsat
