solve x * 11400714819323198485 = 1 (mod 2**64)