Just running a simple calculation, the 9200 by Epson and it will be 10" larger on the diagonal measurement.
This projector has one of the best throws out there, so I feel your going to have to look at the business end of the projector sector.
Panasonic, Optoma and Epson offer a few units which will accommodate you although they also have a price tag to match it to.
I would really be worried with any of the home cinema projectors as there light output from these are not designed to work on screens which almost measure 4m in width.
So, I would say, obtain the brightest you can afford with a fantastic focal length.
Regards, Shane.