25.36/26.09	unsat
