18.22/18.42	unsat
