Reduction of SAT problem to 3-SAT problem