(<class 'ValueError'>, ValueError("invalid literal for int() with base 10: '2SAT'"), <traceback object at 0x7fbe7330ef40>)