Allen Chou says to YSITD (c!=3 and d!=4 and e!=5 and a!=1 b任意) + (c!=3 and d!=4 and e!=5 and b!=2 a任意) - (c!=3 and d!=4 and e!=5 and a!=1 and b!=2)