18.58/19.46	unsat
