4.28/6.88	unsat
