72.58/73.73	unsat
