loading SCIP...
12 38906 true
1 5 10 22 45 48 49 58 62 74 91 98