RSS
05-11-12, 12:11 PM
In current experiment solution of SAT problem # 10 was found by CTPAHHNK (http://sat.isa.ru/pdsat/show_user.php?userid=166) from Russia and Alexone (http://sat.isa.ru/pdsat/show_user.php?userid=334) from We wanna HELP
More... (http://sat.isa.ru/pdsat/all_news.php#33)
More... (http://sat.isa.ru/pdsat/all_news.php#33)