loading SCIP...
27 15719 true
3 11 12 20 24 27 30 35 36 42 44 45 46 47 53 57 62 69 74 80 86 87 88 93 95 96 98