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 -15 -1 8 0 -12 -1 -7 0 1 12 13 0 -20 -16 -9 0 8 -1 10 0 -9 13 10 0 3 -18 7 0 8 -18 20 0 -7 -15 18 0 -12 -4 -6 0 -4 3 -11 0 8 -14 2 0 2 -17 -9 0 -15 -9 11 0 18 12 -7 0 18 -6 2 0 1 4 3 0 -11 -10 -18 0 15 13 2 0 -9 2 -14 0 -15 -3 -1 0 6 -11 19 0 9 2 -16 0 20 16 6 0 -4 9 -12 0 12 20 16 0 -1 -6 -9 0 -15 8 4 0 -11 -6 5 0 20 7 -5 0 -4 -2 -7 0 20 -13 9 0 -19 20 -9 0 -4 7 18 0 -15 -8 10 0 3 13 12 0 2 17 -6 0 15 -19 -18 0 -16 -17 5 0 18 6 14 0 11 8 17 0 -8 -11 -18 0 10 -15 17 0 5 14 -6 0 14 -4 3 0 11 2 14 0 9 11 -13 0 -3 -12 8 0 -9 -3 19 0 -11 -5 -9 0 -20 -3 1 0 16 19 -15 0 2 6 9 0 -15 14 11 0 19 18 -6 0 7 9 -1 0 11 18 -9 0 -3 -8 18 0 19 12 17 0 -10 -4 -1 0 -13 18 19 0 -4 16 18 0 5 -3 12 0 6 -12 20 0 5 10 -8 0 -16 -18 -15 0 14 -15 -13 0 -11 -18 -9 0 -18 3 17 0 5 -12 10 0 -5 13 4 0 14 18 -19 0 -3 15 12 0 9 5 -8 0 16 18 15 0 -8 -3 10 0 10 2 11 0 16 -12 18 0 -9 1 10 0 -12 -8 2 0 -3 13 19 0 4 -11 17 0 4 -11 13 0 -4 -10 13 0 10 -7 -3 0 8 -10 -11 0 -6 8 -13 0 -17 14 -6 0 -1 -12 5 0 -14 1 11 0 -8 -13 -18 0 % 0