25.95/26.07	unsat
