Design Small Clock Circuit board for 10 Mhz OCXO

We need a PCB design and 3 manufactured prototypes of a small clock circuit board (~5 cm x ~4 cm). We will provide a standard 10 Mhz OCXO for the board (AOC2012VAJC-10.0000C). The output should be 52 Mhz, with slight adjustments from a POTS trim supported by the OCXO to achieve better than 0.1 ppm precision (verified against GPS clock or cell network frequency timers). The circuit board output connector will be SMA female with 50 Ohm impedence and ~0.6 V peak-to-peak square wave output. The supported power input should be DC 8 - 15 V input using a molex small 2-pin connector (like PC fans). The 10 Mhz OCXO is converted to 52 Mhz output by multiply by 26 and divide by 5 using a PLL. A recommended PLL is IDT5V49EE901, although you can recommend an alternative. The project includes delivery of the manufactured prototypes, as well as schematics, gerber files, and all relevant instructions related to PLL programming (if PLL programming is necessary). We propose payment of 1/4 upon delivery of a design, 1/4 upon completion of manufacturing of prototypes where you either hand assemble or outsource assembly (we provide OCXO), 1/4 upon successful confirmation testing of prototypes from our side, and then 1/4 upon our successful ordering of assembled and working boards from a standard US board manufacturer of your choice like Advanced Circuits, Accutrace, etc.