71.58/75.11	unsat
