23.94/24.73	unsat
