25.62/25.68	unsat
