La base de datos SCIP en la práctica (6181)