19.39/19.46	unsat
