2 En Marte, un equipo de baloncesto consta de 6 jugadores. El entrenador del equipo Marte puede seleccionar cualquier alineación de 6 jugadores entre 100 candidatos. El entrenador considera que algunas alineaciones son apropiadas mientras que otras no lo son (existe al menos una alineación apropiada). Un conjunto de 5 candidatos se llama prometedor si se le puede agregar un candidato más para obtener una alineación apropiada. Un candidato se llama universal si completa cada conjunto prometedor de 5 candidatos (que no lo contengan) hasta una alineación apropiada. El entrenador ha seleccionado una alineación de 6 candidatos universales. Determina si se sigue que esta alineación es apropiada.