On the unique solvability of the simultaneous Pell equations x²-ay² = 1 and z²-bx² = 1

We consider the simultaneous Pell equations x² - ay² = 1, z² - bx² = 1, where a > b 2 are positive integers. We describe a procedure which, for any fixed b, either confirms that the simultaneous Pell equations have at most one solution in positive integers, or finds all exceptions for which we have proved that there are at most finitely many.