<s>[INST] Lena works as a part-time librarian. She gets paid $40 per hour. Her paycheck could be higher if she works overtime. She earns the same hourly rate for overtime hours as for regular hours. If she worked 45 hours last week and earned $2000, what is her regular weekly hours?[/INST]