loading SCIP...
42 937 true
3 5 8 10 11 12 18 32 33 36 40 41 44 45 46 48 50 53 55 56 57 58 60 61 63 64 67 71 72 73 74 79 81 82 83 84 85 86 88 91 97 98