71.68/74.17	unsat
