solver isn't fixed anymore