loading SCIP...
47 797 true
3 7 9 10 11 15 17 20 21 22 23 25 26 27 30 33 34 36 44 45 50 51 52 53 55 56 57 58 61 66 67 68 70 72 74 76 79 82 84 87 88 91 92 93 95 97 99