loading SCIP...
12 39796 true
1 7 12 30 33 45 54 55 56 59 71 98