Satisfiability threshold of the random regular (s,c,k)-SAT problem