Almost fixed is_solved()