A working solver