18.55/18.64	unsat
