-include: \
../cnf/argeo.bnd, \
../cnf/unstable.bnd