flyspeck: add smt2 files