x0 + x2 + 2x3 = 2 (mod 3) 2x0 + 2x1 + x3 = 0 (mod 3) x1 + x2 + 2x4 = 0 (mod 3) 2x0 + 2x2 + x4 = 0 (mod 3) x1 + x3 + 2x4 = 2 (mod 3) x1 + x2 = 2 (mod 3) The system is unsatisfiable.