loading SCIP...
8 31719 true
1 2 6 10 12 14 79 84