Solution list is now a dictionary (var, val).