3-sat initial commit