cs208-2022-tseytin-encoding