worked on a real solver