loading SCIP...
12 37562 true
1 7 19 24 37 43 44 60 78 86 93 96