SAT@home - Nuova soluzione

Nell'attuale esperimento, una soluzione al problema SAT #7 è stata trovatas da Jeff17 di BOINCstats e da Bigred di Free-DC.