loading SCIP...
10 31657 true
22 24 27 47 55 60 88 95 96 99