working on plot for verification/solver