1 sort bitvec 8
2 input 1 @inp2
3 input 1 @inp3
4 input 1 @inp4
5 and 1 3 4
6 and 1 2 3
7 and 1 5 6
8 and 1 5 2
9 sort bitvec 1
10 neq 9 7 8
11 constraint 10