72.34/72.52	unsat
