loading SCIP...
13 35828 true
7 9 10 16 18 35 41 50 56 65 76 94 96