solve over Z+: (a+b+c+d) = 10a + b && a*b*c*d = 10c + d