5.47/7.52	unsat
