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