23.94/24.31	unsat
