16.17/16.26	unsat
