loading SCIP...
11 42469 true
6 12 16 25 37 45 47 87 88 93 98