71.57/73.66	unsat
