18.35/18.96	unsat
