Rewrote find_unrated_solutions; fixed some not-logged-in bugs