25.91/26.82	unsat
