19.36/19.46	unsat
