いや、統一可能な初期値x3は必ず統一可能なのでそんな簡単な判定で済むはずはない。
(a,b,c)から始めてmod3絡みの判定条件は作れるとは思うけど。