Text this: On the construction of quantum circuits for S-boxes with different criteria based on the SAT solver.