19.42/19.57	unsat
