18.45/18.64	unsat
