19.85/22.70	unsat
