loading SCIP...
26 13046 true
0 3 5 9 10 13 16 26 37 40 42 49 51 53 55 60 69 73 74 75 76 78 85 87 88 90