SATソルバの行数を250行まで減らした