25.87/26.09	unsat
