SAT Solvers and Biology Modeling