14.17/14.26	unsat
