72.39/72.56	unsat
