12.24/14.20	unsat
