loading SCIP...
27 11421 true
4 5 8 13 14 15 18 19 22 29 31 33 34 36 37 43 46 55 58 63 64 67 77 87 96 98 99