SAT: Add missing space to Show instance
Add run(Q)SAT, (q)dimacs(Q)SAT to assist in ghci and testing