4.28/5.88	unsat
