output count of solves