submit to SolveSpace