SAT instance generator for investigation of the block sensitivity problem