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