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