5.68/5.88	unsat
