18.39/18.46	unsat
