24.67/26.96	unsat
