23.75/24.43	unsat
