24.36/24.96	unsat
