62.82/71.42	unsat
