25.46/25.76	unsat
