A DNA solution of SAT problem by a modified sticker model.