14.26/16.20	unsat
