25.14/26.74	unsat
