loading SCIP...
19 29688 true
0 13 16 20 23 25 37 40 43 45 52 56 59 62 73 75 79 80 83