SAT@Home: First solution in new experiment

Printable View