25.15/25.77	unsat
