The top documents tagged [output approximate solution]