loading SCIP...
10 43093 true
10 18 23 47 49 79 81 83 87 99