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