loading SCIP...
12 39110 true
3 7 32 37 60 61 63 66 73 80 86 90