loading SCIP...
11 41656 true
4 5 12 20 22 27 55 58 71 72 87