25.28/25.68	unsat
