MathCrossword JavaSMT