71.82/72.00	unsat
