Index of /~jburkardt/m_src/satisfy_brute_test