`sum(solns.values())` ?