loading SCIP...
18 28110 true
4 7 9 16 19 21 22 25 26 27 35 40 41 55 62 68 77 85