SCU 2007 warmup contest 28

D: Tautology