71.58/73.67	unsat
