loading SCIP...
11 35703 true
11 18 24 32 33 34 36 47 81 88 94