Fun Coloring (UVa Live Archive Asia - 2011 Phuket)

http://livearchive.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&category=521&page=show_problem&problem=3736

問題

変数がn個、集合がm個ある。各集合Siのサイズは2または3である。変数に0または1を割り当てる時、全ての集合に0と1の両方が含むような変数の割り当ては存在するか？
4<=n<=22
6<=m<=111

解法

バックトラックするだけ。最後に改行入れるとWAになる。