24.27/24.51	unsat
