16.18/17.22	unsat
