5.47/6.88	unsat
