25.55/25.60	unsat
