5.39/6.88	unsat
