loading SCIP...
11 38844 true
3 39 44 61 68 78 84 88 91 92 96