On Z.-W. Sun's Disjoint Congruence Classes Conjecture
  Zhi-Wei Sun conjectures if k congruence classes are disjoint, then two of the moduli have greatest common divisor at least as large as k. We prove this conjecture for k strictly less than 21. 
Kevin O'Bryant