73.11/73.82	unsat
