loading SCIP...
12 40750 true
3 6 13 21 36 63 71 80 83 87 88 96