5.18/6.88	unsat
