16.14/16.23	unsat
