c This Formular is generated by mcnf c c horn? no c forced? no c mixed sat? no c clause length = 3 c p cnf 20 91 4 -18 19 0 3 18 -5 0 -5 -8 -15 0 -20 7 -16 0 10 -13 -7 0 -12 -9 17 0 17 19 5 0 -16 9 15 0 11 -5 -14 0 18 -10 13 0 -3 11 12 0 -6 -17 -8 0 -18 14 1 0 -19 -15 10 0 12 18 -19 0 -8 4 7 0 -8 -9 4 0 7 17 -15 0 12 -7 -14 0 -10 -11 8 0 2 -15 -11 0 9 6 1 0 -11 20 -17 0 9 -15 13 0 12 -7 -17 0 -18 -2 20 0 20 12 4 0 19 11 14 0 -16 18 -4 0 -1 -17 -19 0 -13 15 10 0 -12 -14 -13 0 12 -14 -7 0 -7 16 10 0 6 10 7 0 20 14 -16 0 -19 17 11 0 -7 1 -20 0 -5 12 15 0 -4 -9 -13 0 12 -11 -7 0 -5 19 -8 0 1 16 17 0 20 -14 -15 0 13 -4 10 0 14 7 10 0 -5 9 20 0 10 1 -19 0 -16 -15 -1 0 16 3 -11 0 -15 -10 4 0 4 -15 -3 0 -10 -16 11 0 -8 12 -5 0 14 -6 12 0 1 6 11 0 -13 -5 -1 0 -7 -2 12 0 1 -20 19 0 -2 -13 -8 0 15 18 4 0 -11 14 9 0 -6 -15 -2 0 5 -12 -15 0 -6 17 5 0 -13 5 -19 0 20 -1 14 0 9 -17 15 0 -5 19 -18 0 -12 8 -10 0 -18 14 -4 0 15 -9 13 0 9 -5 -1 0 10 -19 -14 0 20 9 4 0 -9 -2 19 0 -5 13 -17 0 2 -10 -18 0 -18 3 11 0 7 -9 17 0 -15 -6 -3 0 -2 3 -13 0 12 3 -2 0 -2 -3 17 0 20 -15 -16 0 -5 -17 -19 0 -20 -18 11 0 -9 1 -5 0 -19 9 17 0 12 -2 17 0 4 -16 -5 0 % 0