2sat is in p. .