23.12/24.69	unsat
