22.36/25.70	unsat
