23.62/24.31	unsat
