Completed experiments with Tanbir Ahmed's solver.
Started experimenting with satz.