5.74/5.88	unsat
