19.34/19.46	unsat
