expected "Problem F is interactive and cannot be automatically solved." got ""