71.53/71.64	unsat
