x0 + x1 = 1 (mod 3)