* solver feature not always available