23.35/24.70	unsat
