loading SCIP...
12 40391 true
1 10 14 18 22 24 30 40 67 80 91 99