loading SCIP...
25 15860 true
1 6 14 16 18 28 29 32 35 37 41 42 46 47 49 53 62 65 66 71 73 75 85 86 89