25.91/28.26	unsat
