solver is working