Under the auspices of the Computational Complexity Foundation (CCF)
We propose a simple idea for improving the randomized algorithm of Hertli for the Unique 3SAT problem.
