Added 2sat structure for coding