class UnhandledCaseError(Exception):
    pass

class ExecutionError(Exception):
    pass

class UnsatException(Exception):
    pass
class UnhandledCaseError(Exception):
    pass

class ExecutionError(Exception):
    pass

class UnsatException(Exception):
    pass