25.52/25.63	unsat
