explore full combinatoric space with solver