73.58/73.82	unsat
