loading SCIP...
14 34172 true
1 18 21 33 42 47 49 60 67 76 80 82 83 84