59.57/59.88	unsat
