23.18/24.75	unsat
