solve(x<13 ∨ x<5,x