Output: [ x in [9;9], y in [12;12] ]