loading SCIP...
11 41719 true
1 4 11 15 18 30 37 45 55 65 77