• In current experiment solution of SAT problem # 9 was found by bronevik from Russia Team and KWH* from Sicituradastra.



More...