# file: C:\Users\Q\code\argumentation\src\argumentation\solver.py
# hypothesis_version: 6.152.1

[30000, 'canceled', 'incomplete', 'other', 'timeout', 'unknown']