fixed printf statements in SaltSolve