Found: x = 1
Found: y = 2