>>133
SATだったら変数に真か偽か入れてはプログラムを動かせば、変数の数の回数だけ動かして、一つの解が求まる。
クソ遅い方はどうなんだろう。
素数判定は6乗位だったと思うけど実装されて、使われているのかな？