solve x=(2*3*5)*m+1, n=x/7 over the integers