17*x%19=1