loading SCIP...
38 2968 true
3 4 11 14 15 17 19 21 22 24 28 30 31 34 39 43 44 46 47 50 51 53 55 57 59 66 67 70 76 80 85 87 88 95 96 97 98 99