粗蜡烛和细蜡烛的长短一样，粗蜡烛可以点5小时，细蜡烛可以点4小时，如果同时点燃这两支蜡烛，过了一段时间后，剩余的粗蜡烛长度是细蜡烛长度的2倍，问这两支蜡烛已点燃了多少时间?