loading SCIP...
13 37812 true
0 1 14 16 17 18 32 44 76 81 82 84 92