18.35/18.46	unsat
