Solved in ~2.5 hours with random seed X=123, Y=123 -> X=1948987046, Y=627351957.
