71.71/75.18	unsat
