18.35/18.42	unsat
