5.68/6.88	unsat
