A generator for hard SAT instances