demo/sat-2.in
changeset 2558 e70b52a8cd57