ram_k3_n10.ra1.wcnf

p wcnf 45 330
 890 1 2 10 0
 238 1 3 11 0
 352 2 3 18 0
 853 10 11 18 0
 319 1 4 12 0
 129 2 4 19 0
 656 10 12 19 0
 870 3 4 25 0
 88 11 12 25 0
 705 18 19 25 0
 415 1 5 13 0
 955 2 5 20 0
 56 10 13 20 0
 178 3 5 26 0
 610 11 13 26 0
 81 18 20 26 0
 239 4 5 31 0
 830 12 13 31 0
 393 19 20 31 0
 433 25 26 31 0
 124 1 6 14 0
 385 2 6 21 0
 605 10 14 21 0
 525 3 6 27 0
 793 11 14 27 0
 657 18 21 27 0
 177 4 6 32 0
 423 12 14 32 0
 509 19 21 32 0
 616 25 27 32 0
 40 5 6 36 0
 183 13 14 36 0
 356 20 21 36 0
 996 26 27 36 0
 163 31 32 36 0
 658 1 7 15 0
 582 2 7 22 0
 566 10 15 22 0
 357 3 7 28 0
 764 11 15 28 0
 267 18 22 28 0
 187 4 7 33 0
 454 12 15 33 0
 359 19 22 33 0
 923 25 28 33 0
 784 5 7 37 0
 497 13 15 37 0
 846 20 22 37 0
 680 26 28 37 0
 363 31 33 37 0
 563 6 7 40 0
 623 14 15 40 0
 653 21 22 40 0
 183 27 28 40 0
 847 32 33 40 0
 519 36 37 40 0
 140 1 8 16 0
 221 2 8 23 0
 618 10 16 23 0
 317 3 8 29 0
 260 11 16 29 0
 56 18 23 29 0
 698 4 8 34 0
 522 12 16 34 0
 661 19 23 34 0
 283 25 29 34 0
 62 5 8 38 0
 464 13 16 38 0
 928 20 23 38 0
 597 26 29 38 0
 200 31 34 38 0
 888 6 8 41 0
 304 14 16 41 0
 664 21 23 41 0
 860 27 29 41 0
 139 32 34 41 0
 365 36 38 41 0
 908 7 8 43 0
 807 15 16 43 0
 80 22 23 43 0
 256 28 29 43 0
 336 33 34 43 0
 200 37 38 43 0
 855 40 41 43 0
 131 1 9 17 0
 523 2 9 24 0
 239 10 17 24 0
 634 3 9 30 0
 407 11 17 30 0
 895 18 24 30 0
 694 4 9 35 0
 456 12 17 35 0
 466 19 24 35 0
 417 25 30 35 0
 931 5 9 39 0
 300 13 17 39 0
 429 20 24 39 0
 826 26 30 39 0
 85 31 35 39 0
 508 6 9 42 0
 619 14 17 42 0
 526 21 24 42 0
 984 27 30 42 0
 682 32 35 42 0
 354 36 39 42 0
 271 7 9 44 0
 450 15 17 44 0
 187 22 24 44 0
 675 28 30 44 0
 762 33 35 44 0
 623 37 39 44 0
 378 40 42 44 0
 652 8 9 45 0
 288 16 17 45 0
 900 23 24 45 0
 675 29 30 45 0
 883 34 35 45 0
 524 38 39 45 0
 147 41 42 45 0
 622 43 44 45 0
 809 -1 -2 -3 -10 -11 -18 0
 624 -1 -2 -4 -10 -12 -19 0
 784 -1 -3 -4 -11 -12 -25 0
 43 -2 -3 -4 -18 -19 -25 0
 485 -10 -11 -12 -18 -19 -25 0
 722 -1 -2 -5 -10 -13 -20 0
 382 -1 -3 -5 -11 -13 -26 0
 424 -2 -3 -5 -18 -20 -26 0
 406 -10 -11 -13 -18 -20 -26 0
 979 -1 -4 -5 -12 -13 -31 0
 394 -2 -4 -5 -19 -20 -31 0
 648 -10 -12 -13 -19 -20 -31 0
 44 -3 -4 -5 -25 -26 -31 0
 286 -11 -12 -13 -25 -26 -31 0
 637 -18 -19 -20 -25 -26 -31 0
 209 -1 -2 -6 -10 -14 -21 0
 694 -1 -3 -6 -11 -14 -27 0
 766 -2 -3 -6 -18 -21 -27 0
 167 -10 -11 -14 -18 -21 -27 0
 20 -1 -4 -6 -12 -14 -32 0
 272 -2 -4 -6 -19 -21 -32 0
 181 -10 -12 -14 -19 -21 -32 0
 153 -3 -4 -6 -25 -27 -32 0
 960 -11 -12 -14 -25 -27 -32 0
 678 -18 -19 -21 -25 -27 -32 0
 384 -1 -5 -6 -13 -14 -36 0
 388 -2 -5 -6 -20 -21 -36 0
 257 -10 -13 -14 -20 -21 -36 0
 358 -3 -5 -6 -26 -27 -36 0
 930 -11 -13 -14 -26 -27 -36 0
 59 -18 -20 -21 -26 -27 -36 0
 859 -4 -5 -6 -31 -32 -36 0
 688 -12 -13 -14 -31 -32 -36 0
 981 -19 -20 -21 -31 -32 -36 0
 393 -25 -26 -27 -31 -32 -36 0
 907 -1 -2 -7 -10 -15 -22 0
 796 -1 -3 -7 -11 -15 -28 0
 622 -2 -3 -7 -18 -22 -28 0
 824 -10 -11 -15 -18 -22 -28 0
 425 -1 -4 -7 -12 -15 -33 0
 464 -2 -4 -7 -19 -22 -33 0
 717 -10 -12 -15 -19 -22 -33 0
 274 -3 -4 -7 -25 -28 -33 0
 370 -11 -12 -15 -25 -28 -33 0
 714 -18 -19 -22 -25 -28 -33 0
 430 -1 -5 -7 -13 -15 -37 0
 211 -2 -5 -7 -20 -22 -37 0
 157 -10 -13 -15 -20 -22 -37 0
 728 -3 -5 -7 -26 -28 -37 0
 533 -11 -13 -15 -26 -28 -37 0
 77 -18 -20 -22 -26 -28 -37 0
 780 -4 -5 -7 -31 -33 -37 0
 700 -12 -13 -15 -31 -33 -37 0
 629 -19 -20 -22 -31 -33 -37 0
 729 -25 -26 -28 -31 -33 -37 0
 671 -1 -6 -7 -14 -15 -40 0
 267 -2 -6 -7 -21 -22 -40 0
 416 -10 -14 -15 -21 -22 -40 0
 512 -3 -6 -7 -27 -28 -40 0
 398 -11 -14 -15 -27 -28 -40 0
 133 -18 -21 -22 -27 -28 -40 0
 109 -4 -6 -7 -32 -33 -40 0
 589 -12 -14 -15 -32 -33 -40 0
 347 -19 -21 -22 -32 -33 -40 0
 509 -25 -27 -28 -32 -33 -40 0
 161 -5 -6 -7 -36 -37 -40 0
 152 -13 -14 -15 -36 -37 -40 0
 503 -20 -21 -22 -36 -37 -40 0
 8 -26 -27 -28 -36 -37 -40 0
 390 -31 -32 -33 -36 -37 -40 0
 150 -1 -2 -8 -10 -16 -23 0
 463 -1 -3 -8 -11 -16 -29 0
 600 -2 -3 -8 -18 -23 -29 0
 645 -10 -11 -16 -18 -23 -29 0
 136 -1 -4 -8 -12 -16 -34 0
 786 -2 -4 -8 -19 -23 -34 0
 268 -10 -12 -16 -19 -23 -34 0
 141 -3 -4 -8 -25 -29 -34 0
 882 -11 -12 -16 -25 -29 -34 0
 839 -18 -19 -23 -25 -29 -34 0
 984 -1 -5 -8 -13 -16 -38 0
 582 -2 -5 -8 -20 -23 -38 0
 373 -10 -13 -16 -20 -23 -38 0
 232 -3 -5 -8 -26 -29 -38 0
 628 -11 -13 -16 -26 -29 -38 0
 192 -18 -20 -23 -26 -29 -38 0
 811 -4 -5 -8 -31 -34 -38 0
 980 -12 -13 -16 -31 -34 -38 0
 480 -19 -20 -23 -31 -34 -38 0
 796 -25 -26 -29 -31 -34 -38 0
 247 -1 -6 -8 -14 -16 -41 0
 521 -2 -6 -8 -21 -23 -41 0
 906 -10 -14 -16 -21 -23 -41 0
 53 -3 -6 -8 -27 -29 -41 0
 476 -11 -14 -16 -27 -29 -41 0
 710 -18 -21 -23 -27 -29 -41 0
 863 -4 -6 -8 -32 -34 -41 0
 987 -12 -14 -16 -32 -34 -41 0
 815 -19 -21 -23 -32 -34 -41 0
 910 -25 -27 -29 -32 -34 -41 0
 851 -5 -6 -8 -36 -38 -41 0
 926 -13 -14 -16 -36 -38 -41 0
 383 -20 -21 -23 -36 -38 -41 0
 317 -26 -27 -29 -36 -38 -41 0
 936 -31 -32 -34 -36 -38 -41 0
 989 -1 -7 -8 -15 -16 -43 0
 517 -2 -7 -8 -22 -23 -43 0
 629 -10 -15 -16 -22 -23 -43 0
 468 -3 -7 -8 -28 -29 -43 0
 224 -11 -15 -16 -28 -29 -43 0
 952 -18 -22 -23 -28 -29 -43 0
 196 -4 -7 -8 -33 -34 -43 0
 115 -12 -15 -16 -33 -34 -43 0
 545 -19 -22 -23 -33 -34 -43 0
 373 -25 -28 -29 -33 -34 -43 0
 769 -5 -7 -8 -37 -38 -43 0
 850 -13 -15 -16 -37 -38 -43 0
 583 -20 -22 -23 -37 -38 -43 0
 981 -26 -28 -29 -37 -38 -43 0
 982 -31 -33 -34 -37 -38 -43 0
 502 -6 -7 -8 -40 -41 -43 0
 567 -14 -15 -16 -40 -41 -43 0
 690 -21 -22 -23 -40 -41 -43 0
 675 -27 -28 -29 -40 -41 -43 0
 504 -32 -33 -34 -40 -41 -43 0
 382 -36 -37 -38 -40 -41 -43 0
 586 -1 -2 -9 -10 -17 -24 0
 200 -1 -3 -9 -11 -17 -30 0
 466 -2 -3 -9 -18 -24 -30 0
 903 -10 -11 -17 -18 -24 -30 0
 262 -1 -4 -9 -12 -17 -35 0
 832 -2 -4 -9 -19 -24 -35 0
 181 -10 -12 -17 -19 -24 -35 0
 755 -3 -4 -9 -25 -30 -35 0
 666 -11 -12 -17 -25 -30 -35 0
 397 -18 -19 -24 -25 -30 -35 0
 720 -1 -5 -9 -13 -17 -39 0
 602 -2 -5 -9 -20 -24 -39 0
 78 -10 -13 -17 -20 -24 -39 0
 261 -3 -5 -9 -26 -30 -39 0
 201 -11 -13 -17 -26 -30 -39 0
 109 -18 -20 -24 -26 -30 -39 0
 849 -4 -5 -9 -31 -35 -39 0
 789 -12 -13 -17 -31 -35 -39 0
 899 -19 -20 -24 -31 -35 -39 0
 682 -25 -26 -30 -31 -35 -39 0
 519 -1 -6 -9 -14 -17 -42 0
 408 -2 -6 -9 -21 -24 -42 0
 284 -10 -14 -17 -21 -24 -42 0
 137 -3 -6 -9 -27 -30 -42 0
 946 -11 -14 -17 -27 -30 -42 0
 397 -18 -21 -24 -27 -30 -42 0
 641 -4 -6 -9 -32 -35 -42 0
 392 -12 -14 -17 -32 -35 -42 0
 65 -19 -21 -24 -32 -35 -42 0
 531 -25 -27 -30 -32 -35 -42 0
 877 -5 -6 -9 -36 -39 -42 0
 337 -13 -14 -17 -36 -39 -42 0
 907 -20 -21 -24 -36 -39 -42 0
 693 -26 -27 -30 -36 -39 -42 0
 158 -31 -32 -35 -36 -39 -42 0
 982 -1 -7 -9 -15 -17 -44 0
 499 -2 -7 -9 -22 -24 -44 0
 597 -10 -15 -17 -22 -24 -44 0
 981 -3 -7 -9 -28 -30 -44 0
 25 -11 -15 -17 -28 -30 -44 0
 272 -18 -22 -24 -28 -30 -44 0
 734 -4 -7 -9 -33 -35 -44 0
 323 -12 -15 -17 -33 -35 -44 0
 962 -19 -22 -24 -33 -35 -44 0
 605 -25 -28 -30 -33 -35 -44 0
 667 -5 -7 -9 -37 -39 -44 0
 482 -13 -15 -17 -37 -39 -44 0
 852 -20 -22 -24 -37 -39 -44 0
 123 -26 -28 -30 -37 -39 -44 0
 807 -31 -33 -35 -37 -39 -44 0
 241 -6 -7 -9 -40 -42 -44 0
 876 -14 -15 -17 -40 -42 -44 0
 378 -21 -22 -24 -40 -42 -44 0
 789 -27 -28 -30 -40 -42 -44 0
 976 -32 -33 -35 -40 -42 -44 0
 817 -36 -37 -39 -40 -42 -44 0
 540 -1 -8 -9 -16 -17 -45 0
 570 -2 -8 -9 -23 -24 -45 0
 332 -10 -16 -17 -23 -24 -45 0
 562 -3 -8 -9 -29 -30 -45 0
 721 -11 -16 -17 -29 -30 -45 0
 388 -18 -23 -24 -29 -30 -45 0
 99 -4 -8 -9 -34 -35 -45 0
 788 -12 -16 -17 -34 -35 -45 0
 553 -19 -23 -24 -34 -35 -45 0
 690 -25 -29 -30 -34 -35 -45 0
 906 -5 -8 -9 -38 -39 -45 0
 919 -13 -16 -17 -38 -39 -45 0
 654 -20 -23 -24 -38 -39 -45 0
 160 -26 -29 -30 -38 -39 -45 0
 356 -31 -34 -35 -38 -39 -45 0
 512 -6 -8 -9 -41 -42 -45 0
 594 -14 -16 -17 -41 -42 -45 0
 985 -21 -23 -24 -41 -42 -45 0
 242 -27 -29 -30 -41 -42 -45 0
 171 -32 -34 -35 -41 -42 -45 0
 9 -36 -38 -39 -41 -42 -45 0
 456 -7 -8 -9 -43 -44 -45 0
 446 -15 -16 -17 -43 -44 -45 0
 133 -22 -23 -24 -43 -44 -45 0
 451 -28 -29 -30 -43 -44 -45 0
 64 -33 -34 -35 -43 -44 -45 0
 168 -37 -38 -39 -43 -44 -45 0
 637 -40 -41 -42 -43 -44 -45 0