loading SCIP...
14 35344 true
4 19 24 26 27 30 44 65 70 73 76 81 86 93