17.16/18.42	unsat
