loading SCIP...
13 36531 true
7 9 15 18 20 38 39 47 60 66 81 86 89