69.82/72.19	unsat
