Ackermannian lower bounds for a combinatorial problem related to the decidability of certain relevant logics