59.68/59.88	unsat
