59.44/61.92	unsat
