loading SCIP...
11 42562 true
8 24 27 35 39 42 47 51 52 73 93