58.30/61.92	unsat
