Unit clause propagation algorithm for 4th year MEng project