implemented a buggy solver.