57.70/59.34	unsat
