58.42/61.85	unsat
