added 2SATA : 2 Satisfibility problem solved in linear time using tarjan SCC