loading SCIP...
17 33984 true
5 13 20 26 28 36 50 57 58 62 65 73 77 84 88 92 94