SAT.lhs is the version being handed in.