SolveSpace sketch