SAT_の制限