/bin/
../
smt_fusion