loading SCIP...
30 10688 true
4 12 13 22 23 35 36 39 43 46 47 48 49 55 59 60 62 66 67 69 72 74 75 77 78 79 85 88 96 97