Combinatorial Designs by SAT Solvers