一粗蜡烛和一细蜡烛一样长,细的可点4小时.两根蜡烛一起点燃一段时间后,粗的是细的两倍,求点了多长时间?