SMTソルバすごいって思ったけど、魔法ではないので複雑な条件を指定すれば時間がかかるしCPUがホカホカになってしまう＞＜（当たり前だけど）