Implementación

Solución rand 2-sat