A Mathematically Precise Version of SYZ Conjecture and Examples