25.36/26.17	unsat
