已知x=5是方程ax-3=12的解，那么方程ay+4=25的解是。