粗蜡烛和细蜡烛长短一样．粗蜡烛可以点5小时，细蜡烛可以点4小时．同时点燃这两支蜡烛，点了一段时间后，粗蜡烛长是细蜡烛长的2倍．问这两支蜡烛点了多长时间。