Trouve solve 0 <= x and x <= 3 and 2 <= x and x <= 7