loading SCIP...
45 562 true
3 4 6 7 9 15 16 17 18 23 27 29 30 33 36 37 41 42 45 47 48 53 56 57 58 59 60 65 66 68 69 72 73 78 79 82 83 86 87 90 92 94 97 98 99