16.17/18.42	unsat
