16.16/16.26	unsat
