add Gauss Elimination
add 2-sat