26.66/26.76	unsat
