Fixed off by one error in is_solved()