mathsat online working just changed the path to mathsat instead of mathSat