removed redundant print statements from is_solved()