59.70/59.83	unsat
