buggy solver