loading SCIP...
17 31438 true
11 14 15 19 21 23 29 32 33 65 75 77 81 82 87 90 97