loading SCIP...
46 609 true
4 7 8 11 12 13 14 15 17 20 23 25 29 31 32 34 35 36 37 41 42 43 44 52 53 54 57 62 63 64 66 68 71 73 76 78 81 82 83 86 87 92 94 96 97 98