25.71/26.11	unsat
