add fp16mul_test.smt2