add 2 papers about mcsat (public version)