25.78/25.84	unsat
