loading SCIP...
10 43797 true
19 22 54 57 58 61 80 87 88 97