At least 5 yuan is required to park a car in the parking lot (within 1.5 hours, including 1.5 hours). If you park for more than 1.5 hours, you will be charged 1.5 yuan per hour for the excess time. When Mr. Wang drove out of the parking lot, he handed over 9.5 yuan to the administrator. How long has Mr. Wang’s car been parked in the parking lot?
停车场停一次车至少要交费5元(1.5小时内，含1.5小时)．如果停车超过1.5小时，超出的时间每1小时要加收1.5元．王老师开车离开停车场时交给管理员9.5元，王老师的车在停车场停了多长时间？
<gadget id="calculator">9.5 - 5</gadget>
<output>4.5</output>

<gadget id="calculator">4.5 / 1.5</gadget>
<output>3</output>

<gadget id="calculator">3 + 1.5</gadget>
<output>4.5</output>

<result>4.5</result>