14.26/16.19	unsat
