Make satisfiable work on instances of bool