/* * Number of available solutions for problem * */ int solutions_count()