added empty solver