loading SCIP...
29 12875 true
3 11 20 25 28 35 37 44 48 49 50 53 56 61 63 65 66 75 78 82 86 87 89 90 94 95 96 97 99