SOLVED
There is no exact covering system - that is, a finite collection of congruence classes $a_i\mod{n_i}$ with distinct $n_i$ such that every integer satisfies exactly one of these congruence classes.
This is true, and was proved independently by Mirsky and Newman and Davenport and Rado.
