不等式组x>4 x<7的解集为