W12/3 Construction of √7