loading SCIP...
12 38656 true
4 6 8 16 20 30 35 38 58 65 92 93