loading SCIP...
37 6031 true
4 8 11 13 14 15 16 17 18 20 21 24 25 27 32 40 43 44 48 49 57 60 62 69 70 71 74 75 77 78 86 87 91 93 94 95 99