solve printf