19.35/19.46	unsat
