25.64/25.76	unsat
