add scanning line
wagner
2sat
add tarjan
ver 0.9