25.51/25.64	unsat
