buscaminas algoritmo basado en logica booleana que usa distintos SAT solvers para resolver el buscaminas