18.55/18.69	unsat
