19.72/22.70	unsat
