25.55/25.97	unsat
