loading SCIP...
13 39625 true
4 16 17 22 24 50 55 66 77 81 82 85 98