Work on dot solver