22.48/23.75	unsat
