Classical vs quantum satisfiability in linear constraint systems modulo an integer