16.85/18.22	unsat
