Generate MiniSAT problems using Guile Scheme.