added debug messages in latex math format for MinCostSAT formulation

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2097 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
fixed 2 major bugs resulting in a wrong MinCostSAT formulation
Getting now the right formulas for n=1

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@2098 85d21ef8-add0-11de-ae77-5bfb9c5a3f34