24.98/26.96	unsat
