5.47/6.31	unsat
