loading SCIP...
11 33828 true
20 27 41 50 57 59 64 73 75 80 91