loading SCIP...
11 39719 true
7 10 11 26 45 49 66 68 81 90 91