SAT instance generator for SHA-1