loading SCIP...
27 13063 true
1 8 15 20 22 23 24 27 28 29 31 34 35 36 38 42 45 46 58 65 67 73 76 78 80 85 98