loading SCIP...
13 37766 true
5 6 7 20 27 40 42 50 56 60 64 93 96