loading SCIP...
10 40828 true
13 27 31 34 51 54 65 68 81 98