loading SCIP...
13 34687 true
14 17 33 40 44 54 56 62 65 78 82 89 97