loading SCIP...
12 39063 true
9 14 27 28 32 41 44 48 65 74 81 94