(11^x)mod13 = 7