16.66/18.22	unsat
