loading SCIP...
15 35188 true
1 3 4 9 18 20 22 34 47 51 56 68 80 87 98