Problem 316 from Wernick's corpus: O, Ha, Ta
Problem
Given a point O, a point Ha and a point Ta, construct the triangle ABC.
Status
ArgoTriCS says that the status of the problem is unknown.
[However, the status of the problem is proved to be solvable]