loading SCIP...
29 11625 true
2 8 11 15 16 21 31 38 46 48 49 51 53 56 57 58 59 69 70 80 84 85 86 87 88 89 94 96 97