23.32/24.75	unsat
