1008.42/1009.25	unsat
