3-SATが多項式時間で解けたら、どうする