The first clausole only contains 2 litterals. So it is't a 3-SAT instance 150.217.252.181 10:27, 24 January 2007 (UTC)