adding Chengping's IsSolvable() and related functions to my folder