5.47/7.47	unsat
