小麦的出粉率是85%，一个加工厂磨出4250kg面粉，用了多少千克小麦？