initial commit for 2sat papa solver