SMS dit: Converting of Boolean Expression to Linear Equations, Inequalities and QUBO Penalties for Cryptanalysis