24.75/26.96	unsat
