Problem "2-Satisfiability" solved

http://rosalind.info/problems/2sat/