loading SCIP...
10 39718 true
1 34 42 47 65 66 70 71 81 86