solve{(8m2-19n^2) mod 3=0, -1<m<3, -1<n<3} over integers