Silly little program that does boolean satisfiable.