loading SCIP...
25 17516 true
0 1 4 6 7 12 13 23 25 27 35 36 38 43 46 48 49 51 52 56 60 67 79 86 89