23.35/24.31	unsat
