adding  visualisation to explain satisfiability