solve {a*b^(12)=42, a*b^(17)=58}