4.27/5.88	unsat
