25.45/25.80	unsat
