5.62/5.88	unsat
