loading SCIP...
14 34843 true
0 1 8 10 29 30 40 41 48 57 60 65 88 97