18.16/18.22	unsat
