/guile/
../
sat