loading SCIP...
19 27797 true
5 6 8 12 16 17 29 37 40 49 54 57 65 68 74 77 93 97 99