17.18/17.23	unsat
