loading SCIP...
17 37078 true
5 6 7 16 19 33 34 39 40 42 44 49 51 54 73 91 97