Законы математической логики

Укажите минимально допустимую длину отрезка А, при котором выражение

((x² + x - 20 ≥ 0) ∨ (х ∈ А)) ∧ ((x² - 3x - 18 ≤ 0) ∨ (x ∈ A))

тождественно истинно (то есть принимает значение 1) хотя бы для 10 целых значений х?