[submodule "sat/lawa"]
	path = sat/lawa
	url = https://github.com/biotomas/lawa.git
