19.47/22.57	unsat
