solve (10x + y) * (10c + d) = 1000x + 100y + 10c + d over the integers