loading SCIP...
13 36796 true
20 29 41 44 52 55 61 68 74 79 82 83 98