17.16/17.23	unsat
