Reworked output of file search in verify()
Simplified logic to determine problem number