loading SCIP...
9 20141 true
5 12 32 43 44 46 64 72 80