loading SCIP...
11 43031 true
5 13 30 45 48 50 53 63 64 81 95