We have succeeded in solving an instance of a 6-variable 11-clause 3-SAT problem on a gel-based DNA computer. Separations
were performed using probes covalently bound to polyacrylamide gel. During the entire computation, DNA was retained within
a single gel and moved via electrophoresis. The methods used appear to be readily automatable and should be suitable for problems
of a significantly larger size.