71.08/73.73	unsat
