2.42/2.94	unsat
