59.70/61.47	unsat
