WolframAlpha computational knowledge AI
SatisfiableQ[a]