59.42/61.71	unsat
