adding failing solver