((2/3)x - 0.5y+4z -t) mod 7=0, (4x - z +3t) mod 7=0