SF-UNIFY working for given testcases